В математике, логике и компьютерных науках теорией типов считается какая-либо формальная система, являющаяся альтернативой наивной теории множеств, сопровождаемая классификацией элементов такой системы с помощью типов, образующих некоторую иерархию. Также под теорией типов понимают изучение подобных формализмов.
Все значения словосочетания «теория типов»Модные теории типа «бирюзовых организаций», основанных на принципах коллективного самоуправления, пока не выдержали проверку временем.
За другими теориями типов личности нет единой теории психики.
Несмотря на то, что в теории типов тела использована терминология греко-римского периода, до нас не дошло ни одного древнего письменного источника, повествующего о ней.